AsmL Specification and Verification of Lamport’s Bakery Algorithm

机译：作为Lamport面包算法的规范和验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Matko Botinčan;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. AsmL Specification and Verification of Lamport’s Bakery Algorithm [J] . Botin?an Matko Journal of computing and information technology . 2005,第4期

机译：AsmL规格和Lamport面包店算法的验证
2. AsmL Specification and Verification of Lamport's Bakery Algorithm [J] . Matko Botincan Journal of Computing and Information Technology . 2005,第4期

机译：AsmL规格和Lamport面包店算法的验证
3. Mechanical verification of Lamport's Bakery algorithm [J] . Wim H. Hesselink Science of Computer Programming . 2013,第9期

机译：Lamport面包店算法的机械验证
4. AsmL specification and verification of Lamport's bakery algorithm [C] . Botincan, M. . 2005

机译：AsmL规范和Lamport烘焙算法的验证
5. Detecting intrusions by translating AsmL specifications to Snort rules. [D] . Graves, Matthew. 2006

机译：通过将AsmL规范转换为Snort规则来检测入侵。
6. Gebiss: an ImageJ plugin for the specification of ground truth and the performance evaluation of 3D segmentation algorithms [O] . Janos Kriston-Vizi, Ng Wee Thong, Cheok Leong Poh, 2011

机译：Gebiss：一个ImageJ插件用于规范地面真实性和3D分割算法的性能评估
7. AsmL Specification and Verification of Lamport’s Bakery Algorithm [O] . Botinčan, Matko 2005

机译：AsmL规格和Lamport面包店算法的验证
8. Specification of Selected Performance Monitoring and Commissioning Verification Algorithms for CHP Systems [R] . Brambley, M. R., Katimpamula, S. 2006

机译：CHp系统选定性能监测和调试验证算法规范

AsmL Specification and Verification of Lamport’s Bakery Algorithm

著录项

引文网络

相似文献

相关主题

期刊订阅